#include <stdio.h>
int main() {
    int a;
    long int b = 0;
    int i;
    scanf_s("%d", &a);
    for (i = 0; i <= a; i++) {
        b = b + i;
    }
    printf("%ld", b);

}